Crate isotope_parser[−][src]
Expand description
isotope-parser
A parser for a simple textual representation of the isotope
language, designed mainly for debugging and testing purposes
Modules
ast | An abstract syntax tree for the textual representation of |
prettyprint | Prettyprint |
token | Keywords and special characters |
utils | Utility parsers for, e.g., natural numbers and booleans |
Functions
atom | Parse an (atomic) |
branch | Parse a branch of a case statement |
case | Parse a case statement |
enum_ | Parse an enumeration |
expr | Parse an |
ident | Parse a string forming a valid |
join | Parse a join-statement |
join_kind | Parse a join kind |
lambda | Parse a lambda function |
let_ | Parse a let-statement |
opt_ident | Parse an optional identifier |
pi | Parse a pi type |
scope | Parse a scope |
scope_inner | Parse an inner scope |
sexpr | Parse an S-expression wrapped in parentheses, with an optional annotation |
stmt | Parse a statement |
universe | Parse a typing universe |
universe_var | Parse a universe variable |
var | Parse a variable index |
variant | Parse a variant |